#define _CRT_SECURE_NO_WARNINGS 1
#include <stdio.h>
int main()
{
	int n;
	int k = 1;
	while (scanf("%d", &n) == 1)
	{
		printf("Case %d: ", k++);
		double max = 0;
		double x;
		scanf("%lf", &max);
		for (int i = 1; i < n; i++)
		{
			scanf("%lf", &x);
			if (x > max)
				max = x;
		}
		printf("%.1lf\n", max);
	}

	return 0;
}